Suppose whatever we can recognize we can find. We can if P=NP.